First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
831	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-17 13:02:37 Permutations Enumerative combinatorics Abstract algebra Inclusion–exclusion principle Derangement Function Binomial coefficient First-order logic Mathematics Combinatorics Integer sequences
832	PDF Document Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-07-04 03:55:26 Metalogic Model theory FO Finite model theory Conjunctive query Free variables and bound variables Quantification First-order logic Constructible universe Logic Predicate logic Mathematical logic
833	Microsoft Word - HS_EE_Tips_v0 1_dcs_EDITS.docx Add to Reading List Source URL: practice.parcc.testnav.com Language: English - Date: 2014-04-07 00:48:39 Elementary arithmetic Fraction Numbers Computer keyboard XTR FO George Peacock First-order logic Mathematics Finite fields Division
834	AVIATION GROUND Although there was logic and order apparent in initial actions, neither the aeronautical training plans, nor their implementation, could keep pace with requirements. In 1917, the greatest need was to find Add to Reading List Source URL: www.history.navy.mil Language: English - Date: 2011-01-24 15:23:28 First Yale Unit Naval Air Station Pensacola United States Naval Aviator Aviation Cadet Training Program Alfred A. Cunningham F. Trubee Davison United States Aviation
835	RAC Rev. R. Acad. Cien. Serie A. Mat. VOL[removed]), 2004, pp. 17–53 Ciencias de la Computaci´on / Computational Sciences Add to Reading List Source URL: dmle.cindoc.csic.es Language: English - Date: 2006-11-08 13:46:09 Proof theory Logical syntax Automated theorem proving Metalogic Propositional calculus Sequent First-order logic KeY Well-formed formula Logic Mathematical logic Mathematics
836	Proof Reuse for Deductive Program Verification Bernhard Beckert and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2014-04-20 12:37:51 Automated theorem proving Theoretical computer science Proof theory Model theory Mathematical proof KeY Reuse Theorem First-order logic Logic Mathematics Mathematical logic
837	SMT-Based System Verification with DVF Amit Goel, Sava Krsti´c, Rebekah Leslie, Mark R. Tuttle Intel Corporation Abstract We introduce the Deductive Verification Framework (DVF ), a language and a tool for verifying pro Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2012-06-12 17:13:00 Logic in computer science Data types Formal methods Pointer First-order logic Satisfiability Modulo Theories Assertion ALGOL 68 Theoretical computer science Software engineering Computer programming
838	Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic
839	An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet1 A. A. Morozov and Yu. V. Obukhov Institute of Radio Engineering and Electronics, Russian Academy of Scienc Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:35 Logic programming Prolog Oz Logic Actor model Programming language First-order logic Indeterminacy in concurrent computation Logtalk Software engineering Computing Computer programming
840	Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering and Electronics of RAS Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:33 Logic programming Automated theorem proving Programming paradigms Prolog Computer program Unification Occurs check First-order logic Logic Software engineering Computing Computer programming

UPDATE